Replicated Data Types: Specification, Verification, Optimality Sebastian Burckhardt Alexey Gotsman Hongseok Yang

Source URL: software.imdea.org

• Computing
• Data types
• Software engineering
• Computer programming
• Abstract data types
• Fault-tolerant computer systems
• Type theory
• Consistency model
• Transaction processing
• Replication
• String
• List

Staricov Valery Vladimirovich. FOUR PERSONALITY TYPES: A THEORIST, A SPEAKER, A TECHNICIAN, A PSYCHOLOGIST. Abstract: According to C. G. Jung, four personality types have four developed functions; either reason, or opini

Source URL: typelogic.com

• Behavioural sciences
• Behavior
• Psychology
• Brain
• Psychologists
• Emotion
• Personality type

A New Type System for Deadlock-Free Processes Naoki Kobayashi Graduate School of Information Sciences, Tohoku University Abstract. We extend a previous type system for the π-calculus that

Source URL: www.kb.ecei.tohoku.ac.jp

WILD HYPERSURFACES GRAHAM J. LEUSCHKE Abstract. In the representation theory of finite-dimensional algebras over a field, Drozd’s trichotomy theorem says that an algebra has either tame module type or wild module type.

Source URL: www.leuschke.org

Affine surface area and convex bodies of elliptic type Rolf Schneider Abstract If a convex body K in Rn is contained in a convex body L of elliptic type (a curvature image), then it is known that the affine surface area

Source URL: home.mathematik.uni-freiburg.de

Verifying an Open Compiler Using Multi-Language Semantics James T. Perconti and Amal Ahmed Northeastern University Abstract. Existing verified compilers are proved correct under a closed-world assumption, i.e., that the

Source URL: www.ccs.neu.edu

• Logic
• Theoretical computer science
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Mathematical logic
• Security type system
• Symbol

The Complexity of Order Type Isomorphism implementation of the predicate (e.g. solving geoGreg Aloupis1 John Iacono2 Stefan Langerman3 2 Stefanie Wuhrer4 ¨ ur Ozkan ¨ Ozg¨ Abstract The order type of a point set in Rd

Source URL: www-cs.engr.ccny.cuny.edu

´ SPECTRAL CHARACTERIZATION OF POINCARE-EINSTEIN MANIFOLDS WITH INFINITY OF POSITIVE YAMABE TYPE COLIN GUILLARMOU AND JIE QING Abstract. In this paper, we give a sharp spectral characterization of conformally compact Ei

Source URL: www.math.ens.fr

ABSTRACT title here (uppercase, TIMES NEW ROMAN, size 11 font, bold, left aligned) Please type Authors below (Times new roman size 10 font, Surname, Initials Presenting Author to be bold, Affiliations numbered in supers

Source URL: vetmed.tamu.edu

TYPES ARE WEAK ω-GROUPOIDS BENNO VAN DEN BERG AND RICHARD GARNER Abstract. We define a notion of weak ω-category internal to a model of Martin-L¨ of type theory, and prove that each type bears a canonical weak ω-cate

Source URL: staff.fnwi.uva.nl